Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·1h
🎯Performance Proofs
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·21h
🌳Trie Structures
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1h·
Discuss: Hacker News
👑Coq Tactics
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.to·23h·
Discuss: DEV
🌳Trie Structures
Testing is better than DSA
nedbatchelder.com·13h·
Discuss: Lobsters, Hacker News
🌳Trie Structures
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·1h
🧠Machine Learning
Learned Structures
nonint.com·1d·
Discuss: Hacker News
🧠Learned Codecs
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·1h
🔢Bitwise Algorithms
Cactus Language • Mechanics 2
inquiryintoinquiry.com·13h
🔲Cellular Automata
The Networking Event (#4 in The itertools Series • `combinations()` and `permutations()`)
thepythoncodingstack.com·1d
🔗Concatenative Languages
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1h
📞Session Types
MIT affiliates win AI for Math grants to accelerate mathematical discovery
news.mit.edu·10h
🧮Theorem Proving
Hyperbolic Sets in Incomplete Tables
arxiv.org·1h
🌀Hyperbolic Geometry
Identity Types
bartoszmilewski.com·16h·
Discuss: Hacker News
🔤Type Theory
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
💻Programming languages
Storing Unwise Amounts of Data in JavaScript Bigints
jonathan-frere.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Storage
Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to·23h·
Discuss: DEV
⭐Awesome lists
Adhesive category theory for graph rewriting in Rocq
arxiv.org·1h
🔀Category Theory
Taking a Look at Compression Algorithms
cefboud.com·1d·
Discuss: Hacker News, Hacker News, r/programming
📦Deflate
How To Use Synthetic Data To Build a Portfolio Project
kdnuggets.com·13h
🧪Data science